Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
241	Automatic Binding-related Error Diagnosis in Logic Programs PaweÃl Pietrzak1 and Manuel V. Hermenegildo1,2 1 School of Computer Science, Technical University of Madrid (UPM) Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2007-11-07 05:34:04 Logic programming Software engineering Assertion Debugging Abstraction SLD resolution Abstract interpretation Tree Logic in computer science Computer programming Theoretical computer science
242	SARDANA : An Abstract Interpretation Based Tool for Optimization of Numerical Expressions in LUSTRE Programs Arnault Ioualalen, Matthieu Martel University of Perpignan Via Domitia Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2010-09-23 03:17:29 Associative property Field C Ring Algebra Mathematics Algebraic structures
243	Plate Tectonic Evolution of Eastern Australian Marginal Ocean Basins M. Sdrolias1, R.D. Müller2 and C. Gaina2 ABSTRACT An important component in the interpretation and assessment of a hydrocarbon exploration target is a Add to Reading List Source URL: earthbyte.org Language: English - Date: 2010-03-02 22:56:52 Mid-ocean ridge Subduction Sedimentary basin Obduction Ophiolite Oceanic trench Oceanic basin Izu-Bonin-Mariana Arc Geology of Australia Geology Plate tectonics Back-arc basin
244	Abstract: This paper offers an interpretation of Nietzschean freedom, by closely examining the way that he treats the lives of famous people and uses them as models. Freedom, for Nietzsche, is closely related to his con Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-10-22 10:05:10 Anti-Christianity Existentialists Determinists Hellenists Western philosophy Political freedom Relationship between Friedrich Nietzsche and Max Stirner Friedrich Nietzsche Philosophy Continental philosophy
245	Scalable Analysis of Linear Systems using Mathematical Programming Sriram Sankaranarayanan, Henny B. Sipma, and Zohar Manna ? Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-07-13 16:55:25 Abstract algebra Abstract interpretation Linear map State space Vector space Algebra Mathematics Linear algebra
246	Transaction Logic with Defaults and Argumentation Theories? Paul Fodor and Michael Kifer State University of New York at Stony Brook, USA Abstract. Transaction Logic (abbr., T R) [9,12] is a logic that gracefully integr Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2011-05-19 13:22:04 Formal languages Model theory Logic in computer science Functions and mappings Interpretation Well-formed formula Fluent Term algebra Function Logic Mathematics Mathematical logic
247	Abstract Interpretation with Specialized Definitions Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3 Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2006-07-05 14:23:02 Logic programming Rules of inference Automated theorem proving Theoretical computer science SLD resolution Abstraction Function Interpretation Algorithm Mathematics Mathematical logic Logic
248	Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information Daniel Cabeza Gras 1 and Manuel V. Hermenegildo 1,2 Abstract Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2009-02-12 19:18:43 Compiler optimizations Automatic parallelization Parallel computing Prolog Unification Compiler Abstract interpretation Computing Software engineering Programming language theory
249	The Auspicious Couple: Symbolic Execution and WCET Analysis * Armin Biere1 , Jens Knoop2 , Laura Kovács3 , and Jakob Zwirchmayr2 1 2 3 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:46:27 Real-time computing Worst-case execution time Symbolic execution KeY Program slicing Analysis of algorithms Model checking Control flow Abstract interpretation Theoretical computer science Programming language theory Computing
250	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering

UPDATE